The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods ...